1. Synchronous Programming of Reactive Systems
پدیدآورنده : by Nicolas Halbwachs.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information theory.,Operating systems (Computers),Software engineering.
2. Synchronous programming of reactive systems
پدیدآورنده : Halbwachs, Nicolas
کتابخانه: (طهران)
موضوع : ، Real-time programming,، Programming languages )Electronic computers(
رده :
QA
76
.
54
.
H36
1993
3. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
پدیدآورنده : Nicolas Halbwachs, Lenore D. Zuck )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3440